Reverse Dictionary
examples:
unpleasantly moist,
using pretentious words,
inhabitant of earth
Click words for definitions
primary Church's theorem first logical MO prime firstborn logic premier second log illogical lead logician secondary primordial superfecta original beginning principal trivium so erst primal originally maiden number one a alogical proto- trifecta former valid firstling primacy o CO foremost ordinal eldest major alpha fore firstly illogic ALU place particular logistic mode universal quinella vicious circle capital premiere PO primo subject minor preposterous poetic license irrational metalogical top Quadragesima rhyme or reason first base leadoff command Virgin disjunction proposition predicate precede imprimis acrostic forme feeble-minded word Cosmos boss FIFO postulate protopope uppermost perfecta rational Low inversion initial dialectic ordinal number prima facie obverse sixth lemma obdurate brag rhyme analytics fallacious hypothetical alphabetize primogenitor logicism sublate instruction analytic traditional logic at first blush Aristotelian logic firstlins deduce denial peep empirical copula given name initially sestina start hypothesis disjunctive argumentation unfounded obvert disorder seamless A one symbolic logic head centripetal ground plan dawn middle mathematical logic chop sound chop-logic rate induction deduction right dictate imperative assumption leading headlong to begin with y to start with reason orient tricast exacta superordination b.o. taxo- EO primarily primer swell famous induce d sophistry superaltern leader refraction swill modality declaim negative prior rationalize FPS converse slick first sight subaltern vaunt opening grand dandy alogic primigenial pukka modal mean deictic antecedent super outset logically forename Be millionth seraph triage prejacent extralogical equipollent Low Sunday dawning prophase mother tongue subcontrary springtime topflight centrality stretch predicable universe trivial first-class synoptic class A remote restriction determine metalogic first luff firsthandness legitimate ars artium logics sequential marshal ordain commandment orderless suit tidy counterorder garter broken-down heuretic subalternate gate array posit convert tautology firstmost seraphic subordinationism broach primordially first–rate epistemology champion quality rationality absurd elicit diallelus first officer determination deontic false alethiology intention intuitionism superordinate blush inverse premise formal logic postal money order going order m.o. postal order colossal order primate first class hasty primely bosker FDC prerogative FFV LIFO bonzer opener fresher dialect repugnant extension physicologic interval conclusion sophistication rime DTL lieutenant first up ace mezzanine pud a1 glance World War I slap-up Prot SFC logicize formal circle crack ought singular saltus fuzzy logic in reverse queue gate adjacent logicless ECL superior alogism starter base great sight diallelon distribute debut freshman deductive Ramism positivism begin top-hole direction gag order do enthymeme theorem concrete quantity true connotation law of absorption quantifier bad haphazard line oscular direct single transferable vote Alternative Vote inner TTL head first first-rater Sterling honeymoon defy logic cold illegitimate axiom substantive precise morning cardinal m nor figure praenomen relative partial term equivalent infer childhood backward sequence logistically metathesis band witcraft reorder transitive paracrostic first-order DSO c.w.o. orderable preorder biordinal hold trim out of turn ordination instance ray ready ordinance bid directive require coordination FoE because kilter for ord. transpose z x other precedence quiniela conventual throne first-round financing bro postil at cardinal bishop try one's hand at metis reactive respectively preliminary nous float barb headmost quinque voces consequence disjunct law of identity semantic equational quantum-logical comprehensive indefinite term schema reasoned dialectics arithmetic unit architectonic precision paradox pregnant Galenian figure analytical philosophy member subalternant theme repugnance adjunct argument indesignate crocodile disparatum connex contradiction monogynia stand realm plastid radius complete chimera undercoat Tarantulidae Syngnathidae Mantispidae lower functional calculus complete integral golden hour frottage reptilia eurypterid approach test flight introscan mark master Mason cabbling rotation Cumacea tetrachord Equisetaceae chicken examination-in-chief try your hand at something Ginkgoales Knights Hospitallers toss capuchin bank order of a reaction Russell, Bertrand irrefutable calculation order priority lien form of forms International Workingmen's Association orderly sergeant first mover paravant philosophia prima explanans subjacent convertend logic cell PROLOG practical presuppose fair enigmatologist concretion conditional alternant universal conversion destructive truth-value philosophy and resolutive connote limit mood ratiocinate charisma community incompatible by extreme enumeration flat etch protoplastic lummy quaaltagh fiscal first half Early Pointed bang–up first-string primary intention primary cause prima premices concert border first story legitimacy exponible fly (or drive) by the seat of one's pants committed regress coextensive headwork visceral sentential predesignation reasonable rationalness obvertend contrapose commute intension some mathematicize back affirmant conjunction terminal imply woolly formerly upper angle fiscal first quarter first–chop first man logic circuit foregame ladder halt climax schematism rather port chops disarticulate binary circuit law of transposition unsound criteriology deep conjunct medium negate ribbon train cherub collophore Black Army Limnetis Pestalozzian countersign bet venire facias de novo sandbag lag inclusive transcendentalism victoria anoplotherium coup social gospel string daybook sooner Bernard of Clairvaux, St invert phacelia double weighing gendarmerie pre-order crank decussate through mantis trichotomy associative Cutter number Riccati dervish abstract frontline material logic many-valued ordering stop–loss order sequel banker's order selling order inductive logic reorder point ordered order-maker buying order part shipment part delivery restraint order picking go digestion ord D/O demand formless Big Stoush astern primitively first refusal the Great War first cousin twice removed skookum on the face of it top-notch tip–top topkick throughout clipping A1C cherry swelling Q1 end-to-end special stem-winder first cousin once removed zeroth font name cracking prove consequent explicandum ergo null accident substitution instance break inductive predesignate subjection minesweeper existence hegelism invalid differentiate dilemma explanandum index infinite interchangeable logic-chopping methodology breadth colligate analyticity condition genus touchy-feely winnow correct tilde Nyaya poetic licence overlogical problematic qualify fow foundershaft A/1C begun belting first-line first–line first–string another offensive swinging start a family on/at first acquaintance top sergeant percentile transcendental kick-ass top of mind house of the ascendant preoption PFC opening gambit primus inter pares predecease slap–up starter home/house fountain cousin-german fresh solid supernacular case exclusive proposition logical operation -logical remotive topic understand e appellation analogism blind collection legitimately categorical corollary definitive domain follow indefinite negation organon parity replication randomness term attribute logos have to programming conversion alliance weapon disputation convince psycho-logic refinement denotation comprehension diode-transistor logic cross gut Diodorean equation fust imp swollen mate primary supplier snodger letter mail make the first move first fruits ceres admirable began top–hole def firstcomer first flight mover half-life preferential voting obscure should reciprocating proposition general statement protasis iff empirically substitution rule contingent differentiation flabby maxim thematic position rewire qualification significate polemical must deranged dominican enterprise zone Cordaitales Cycadofilicales Sears, Richard Warren Percomorphi chiasmus sand vassal near master-at-arms batrachia ceratodus henry secondary boycott Pedipalpida wrangler Glenn, John fifteen ball high Seton, St. Elizabeth Ann perfidy lactate mission receiver's certificate broken rhyme deaconess chronological succession templar Bernoulli's equation first-rateness home calculus Quine alpha plus midsummer cockcrow aboriginal a slow start Mushet steel Aras explore maidenhead sunup five–star protosyllabic mortgage christen orderly initiative at first sight foreman freshwoman alpha minus pride of place vantage Ash Wednesday feet-first set theory maths tautological cognitive trivia subalternating pure science philosopher category contradictory confused canon icon predicament anticipation patiency convertible first-floor primity introduction tough take the chequered flag taste breakthrough first-half corner aurora hallux refill rumen frostnip sunrise win bag different next calends daybreak dayspring topping primigravid clinker handsel double first face–plant chiefest archelogy without preamble Stephen peace math liberal arts identical proposition privative proposition congruent generic judgment overclock precisive quantify contravalid Gödel, Kurt relatum mental philosophy question representative plurative intersection opposition mathematics left-brained habit smashing Matthew primigenious first off first of Aries primeval high-class at first glance first-ever first-fruits book preemptive right principle of segregation right first time forerank call Boole, George traductive metamathematics formalism dictum descent theory of types paranoia syllogism NAND law of thought law of excluded middle intuition Antennariidae succeeding shape apple-pie order griddle man in trim operative om taut restraining order prelacy work ticket duodenary notice
words continue after advertisement
Popular Searches
oppositeopenoriginorderon fireone by oneof choiceoutonlineplants start to growpowerproblem solverproblempuzzlepictureprojectquotequestquickerquite the oppositerandomrightromanticrulerrecognitionrunragerefer tosomeone lets you downsomething doesn't make sensesmarttodaytoday from goduniqueuseunfamiliarup tousageunundounlockupdatevomitverbvisualvoiceversionwalk
Words For "first-order logic"
As you've probably noticed, words for "first-order logic" are listed above. According to the algorithm that drives this word similarity engine, the top 5 related words for "first-order logic" are: primary, Church's theorem, first, logical, and MO. There are 995 other words that are related to or similar to first-order logic listed above. Hopefully the generated list of words for "first-order logic" above suit your needs. If not, you might want to check out Related Words - another project of mine which uses a different technique (not though that it works best with single words, not phrases).
About Reverse Dictionary
The way Reverse Dictionary works is pretty simple. It simply looks through tonnes of dictionary definitions and grabs the ones that most closely match your search query. For example, if you type something like "longing for a time in the past", then the engine will return "nostalgia". The engine has indexed several million definitions so far, and at this stage it's starting to give consistently good results (though it may return weird results sometimes). It acts a lot like a thesaurus except that it allows you to search with a definition, rather than a single word. So in a sense, this tool is a "search engine for words", or a sentence to word converter.
I made this tool after working on Related Words which is a very similar tool, except it uses a bunch of algorithms and multiple databases to find similar words to a search query. That project is closer to a thesaurus in the sense that it returns synonyms for a word (or short phrase) query, but it also returns many broadly related words that aren't included in thesauri. So this project, Reverse Dictionary, is meant to go hand-in-hand with Related Words to act as a word-finding and brainstorming toolset. For those interested, I also developed Describing Words which helps you find adjectives and interesting descriptors for things (e.g. waves, sunsets, trees, etc.).
In case you didn't notice, you can click on words in the search results and you'll be presented with the definition of that word (if available). The definitions are sourced from the famous and open-source WordNet database, so a huge thanks to the many contributors for creating such an awesome free resource.
Special thanks to the contributors of the open-source code that was used in this project: Elastic Search, @HubSpot, WordNet, and @mongodb.
Please note that Reverse Dictionary uses third party scripts (such as Google Analytics and advertisements) which use cookies. To learn more, see the privacy policy.
Recent Queries
Act of creationkeyence+tuyển+dụngcalculadora+de+matematicasto apply a spreadMUSIC+AND+THE+BRAIN+BOOKword+for+foyer+but+casuallyнадпись+"От+всей+души+желаем"without preparation; not prepared for;the bar-like places in kitchensweb dwellernaval incursionconceptual frameowrkefeitos+da+estimulação+auditiva+ritmica+nos+parametros+da+marcha+na+doença+de+parkinsonABRAHIN,+O.+et+el.+Muscle+thickness+and+functional+performance+of+patients+with++parkinson´s+disease.+Rev+Bras+Cineantropm,+v.+22,+n.+60774,+p.+01-10,+2020.at door registrationкартинки+признаки+лета+для+детейsomeone I work forA standard or point of reference against which things may be compared or assessedShowing a lack of manner or considerationfeeling unaccomplished and isolatedfeeling unaccomplishedsmall, distant feintunable to hear, see, smell, or touch as much. smalltesauro+jurídico+de+la+suprema+corte+de+justicia+de+la+naciónتحميل+لعبة+driver3+ps2toca+raceroxanne+russo+obituary+riэтюд+с+церковьюgrandma eatenman peman p
